\begin{table}
\small
\centering
\begin{tabular}{l||c|c|c|c}
{\bf Netlist} & {\bf Area} & {\bf Combinatorial} & {\bf No Combinatorial} & {\bf AT} \\
\hline \hline
{\bf s1196}   &    2139.22 &             1802.26 &                 339.96 &     0.89 \\
\hline
{\bf s1423}   &    4552.84 &             3152.31 &                1400.54 &     1.87 \\
\hline
{\bf s5378}   &    8278.10 &             5236.65 &                3041.45 &     0.86 \\
\hline
{\bf s9234}   &    5897.40 &             3191.82 &                2705.58 &     1.35 \\
\hline
{\bf s13207}  &   12135.07 &             5790.94 &                6344.13 &     0.89 \\
\hline
{\bf s15850}  &    NoSol   &                     &                        &          \\
\end{tabular}  \caption[Logic REM (Fast) results]{Logic REM (Fast) results.\label{t8}}
\end{table}
